$\forall$$A$:Type\{i\}, $B$:Type\{i'\}, $f$:($A$$\rightarrow$$B$), $l$:($A$ List). map($f$; $l$) $\in$ ($B$ List)